Hawk Migration

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hawk: Hybrid Datacenter Scheduling

This paper addresses the problem of efficient scheduling of large clusters under high load and heterogeneous workloads. A heterogeneousworkload typically consists of many short jobs and a small number of large jobs that consume the bulk of the cluster’s resources. Recent work advocates distributed scheduling to overcome the limitations of centralized schedulers for large clusters with many comp...

متن کامل

Speci cation in Hawk

Modern microprocessors require an immense investment of time and e ort to create and verify, from the high-level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain-speci c language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languag...

متن کامل

Microprocessor Speci cation in Hawk

Modern microprocessors require an immense investment of time and eeort to create and verify, from the high-level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain-speciic language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languag...

متن کامل

Specifying superscalar microprocessors in Hawk

Hawk is a language for the speci cation of microprocessors at the microarchitectural level. In this paper we use Hawk to specify a modern microarchitecture based on the Intel P6 with features such as speculation, register renaming, and superscalar out-of-order execution. We show that parametric polymorphism, type-classes, higher-order functions, lazy evaluation, and the state monad are key to H...

متن کامل

Hawk: 3d Gestured-based Interactive Bird Flight Simulation Hawk: 3d Gestured-based Interactive Bird Flight Simulation

Control interfaces provide the most tangible connection between human users and computer software. This link is especially important in interactive real-time applications, like games and simulations, because users desire efficient controls that allow them to maximize their interactivity and immersion with the software. Traditionally, interfaces have been largely limited to keyboards and mice. R...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Blue Jay

سال: 1954

ISSN: 2562-5667,0006-5099

DOI: 10.29173/bluejay1536